Implementing a GDB Stub in Lightweight Kitten OS
نویسندگان
چکیده
Because of the increasing complexity of the applications running in Kitten, a lightweight HPC OS targeted for compute nodes of massively-parallel, distributed-memory supercomputers, and the complex hardware that Kitten is running on, bugs are becoming more difficult to find. As a result, the need for Kitten to support user-level application debugging becomes more critical. Unfortunately, Kitten currently has no support for user-level application debugging. To solve this problem, we implemented a GDB stub as a kernel module for Kitten without changing the internal architecture of Kitten and Palacios, a high performance embeddable VMM for Kitten, yet with minimal modification to Kitten and Palacios codebases. The GDB stub has only 590 lines of changes to Kitten and 238 lines of changes to Palacios in total. Along with the GDB stub and Palacios, we are now able to debug a userlevel application running in Kitten from a GDB client running in a Palacios Linux Guest. This paper presents our design and implementation of the GDB stub in Kitten.
منابع مشابه
Implementing Self-upending for lightweight Jackets in Persian Gulf
Steel-structured jacket or template platforms have been extensively installed in Persian Gulf offshore oil & gas fields. For the jackets in the water depth range of 40 meters in this region, utilizing the self-upending concept has been investigated. It has been concluded that designing the light weight jackets, implementing the self-upending process for their installation operations, are econom...
متن کاملModel Checking of Multi-Process Applications Using SBUML and GDB
Model checking, aka systematic exploration of the state space, is widely used as a method of verification of concurrent programs that may involve nondeterminism in their execution order. Especially, direct verification of implementations has been focused on in recent years. The crucial issues for such a model checker include how to explore state space systematically and how to control nondeterm...
متن کاملAnterior uveitis in a kitten infected with Toxoplasma gondii (Tehran strain)
Ocular lesions are a common manifestation of toxoplasmosis in cats. In this survey, 10 healthy Syrianmice were infected through intraperitoneal inoculation of bradyzoites of Toxoplasma gondii (Tehran strain).Mice were killed 30 days after inoculation and the suspension of their brains was prepared, after confirmationof the infection. Seven kittens were fed with the infected mice brain suspensio...
متن کاملRectovaginal fistula and atresia ani in a kitten: a case report
Rectovaginal fistula with atresia ani is a congenital condition that affects the anal opening and rectum by the formation of an abnormal connection between the rectum and vagina. This was diagnosed in a domestic short hair kitten. The presenting physical abnormalities included depression, dehydration, partial tail agenesis, anal atresia and a discharge of watery feces from the vaginal opening. ...
متن کاملRecent Trends in Operating Systems and their Applicability to HPC∗†
In this paper we consider recent trends in operating systems and discuss their applicability to high performance computing systems. In particular, we will consider the relationship between lightweight kernels, hypervisors, microkernels, modular kernels, and approaches to building systems with a single system image. We then describe how the Catamount lightweight kernel can be extended to support...
متن کامل